COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	(SETQ NUMSORT @NATNUM)↔
C00005 ENDMK
C⊗;
(SETQ NUMSORT @NATNUM)↔
(SETQ SEXPRSORT @SEXPR)↔
(SETQ LISTSORT @LIST)↔
(SETQ ATOMSORT @ATOM)↔
(SETQ NULLSORT @NULL)↔
(SETQ CONSPSORT @CONSP)↔
(SETQ TRUTHVALUE @TRUTHVALE)↔

(PUTPROP  NUMSORT @(ISFOLNUMSORT) @ISFOL)↔
(PUTPROP  SEXPRSORT @(ISFOLSEXPR) @ISFOL)↔
(PUTPROP  LISTSORT @(ISFOLLIST) @ISFOL)↔
(PUTPROP  ATOMSORT @(ISFOLATOM) @ISFOL)↔
(PUTPROP  NULLSORT @(ISFOLNULL) @ISFOL)↔
(PUTPROP  CONSPSORT @(ISFOLCONSP) @ISFOL)↔
(PUTPROP  TRUTHVALUE @(ISFOLTRUTHVALUE) @ISFOL)↔

(PUTPROP  NUMSORT @(MKFOLNUMSORT) @MKFOL)↔
(PUTPROP  SEXPRSORT @(MKFOLSEXPR) @MKFOL)↔
(PUTPROP  LISTSORT @(MKFOLLIST) @MKFOL)↔
(PUTPROP  ATOMSORT @(MKFOLATOM) @MKFOL)↔
(PUTPROP  NULLSORT @(MKFOLNULL) @MKFOL)↔
(PUTPROP  CONSPSORT @(MKFOLCONSP) @MKFOL)↔
(PUTPROP  TRUTHVALUE @(MKFOLTRUTHVALUE) @MKFOL)↔

(PUTPROP  NUMSORT @(MKMODNUMSORT) @MKMOD)↔
(PUTPROP  SEXPRSORT @(MKMODSEXPR) @MKMOD)↔
(PUTPROP  LISTSORT @(MKMODLIST) @MKMOD)↔
(PUTPROP  ATOMSORT @(MKMODATOM) @MKMOD)↔
(PUTPROP  NULLSORT @(MKMODNULL) @MKMOD)↔
(PUTPROP  CONSPSORT @(MKMODCONSP) @MKMOD)↔
(PUTPROP  TRUTHVALUE @(MKMODTRUTHVALUE) @MKMOD)↔

(PUTPROP  NUMSORT @(ISMODNUMSORT) @ISMOD)↔
(PUTPROP  SEXPRSORT @(ISMODSEXPR) @ISMOD)↔
(PUTPROP  LISTSORT @(ISMODLIST) @ISMOD)↔
(PUTPROP  ATOMSORT @(ISMODATOM) @ISMOD)↔
(PUTPROP  NULLSORT @(ISMODNULL) @ISMOD)↔
(PUTPROP  CONSPSORT @(ISMODCONSP) @ISMOD)↔
(PUTPROP  TRUTHVALUE @(ISMODTRUTHVALUE) @ISMOD)↔
(EXIT)↔
SAV SFOL↔